Từ điển kỹ thuật
- lượng hóa bị chặn
- quantifier: (logic học) phép lượng hoábounded q. phép lượng hoá bị chặnexistential q. phép lượng hoá tồn tạigenerality q. phép lượng hoá phổ dụnguniversal q. phép lượng hoá phổ dụngTừ điển kỹ thuậtlượng từLĩnh
- bounded: bị chặnalmost b. hầu bị chặnessentially b. (giải tích) bị chặn thực sự, bị chặn cốt yếu, bị chặn hầu khắp nơitotally b. hoàn toàn bị chặnuniformyli b. bị chặn đềuTừ điển kỹ thuậtbị chặnalmost bounde
- existential quantifier: Từ điển kỹ thuậtlượng hóa tồn tạisymbol of existential quantifierký hiệu lượng hóa tồn tại
